((v3 v2 2) (v2 v4 4) (v4 v5 7) (v3 v1 9) (v5 v2 8))
57
((v5 v1) (v2 v5))